منابع مشابه
Francesco Ciraulo INTUITIONISTIC OVERLAP STRUCTURES
We study some connections between two kinds of overlap relations: that of point-free geometries in the sense of Grzegorczyk, Whitehead and Clarke, and that recently introduced by Sambin within his constructive approach to topology. The main thesis of this paper is that the overlap relation in the latter sense is a necessary tool for a constructive and intuitionistic development of point-free ge...
متن کاملOverlap Fluctuations from Random Overlap Structures
We investigate overlap fluctuations of the Sherrington-Kirkpatrick mean field spin glass model in the framework of the Random Overlap Structure (ROSt). The concept of ROSt has been introduced recently by Aizenman and coworkers, who developed a variational approach to the Sherrington-Kirkpatrick model. We propose here an iterative procedure to show that, in the so-called Boltzmann ROSt, Aizenman...
متن کاملIntuitionistic Fuzzy Graph Structures
In this paper, we introduce the concept of an intuitionistic fuzzy graph structure (IFGS). We discuss certain notions, including intuitionistic fuzzy Bi-cycles, intuitionistic fuzzy Bi-trees and φ-complement of an intuitionistic fuzzy graph structure with several examples. We also present φ-complement of an intuitionistic fuzzy graph structure along with self-complementary and strong self-compl...
متن کاملLattice structures of intuitionistic fuzzy soft sets
In this paper, the concept of extended intersection and restricted union of intuitionistic fuzzy soft sets are introduced. Some operations on intuitionistic fuzzy soft sets are investigated, and we prove that De Morgan’s laws hold in intuitionistic fuzzy soft sets theory. Based on these properties, we discuss the algebraic structures of intuitionistic fuzzy soft sets, which is lattice structure...
متن کاملIntuitionistic Validity in T-Normal Kripke Structures
Let T be a first-order theory. A T -normal Kripke structure is one in which every world is a classical model of T . This paper gives a characterization of the intuitionistic theory HT of sentences intuitionistically valid (forced) in all T -normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic (PA), the theory HPA is a proper subtheory o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2013.011